truth functor

[数] 真值函子